Inside Vaucanson
نویسندگان
چکیده
This paper presents some features of the Vaucanson platform. We describe some original algorithms on weighted automata and transducers (computation of the quotient, conversion of a regular expression into a weighted automaton, and composition). We explain how complex declarations due to the generic programming are masked from the user and finally we present a proposal for an XML format that allows implicit descriptions for simple types of automata.
منابع مشابه
Introducing VAUCANSON
This paper reports on a new software platform called Vaucanson and dedicated to the computation with automata and transducers. Its main feature is the capacity of dealing with automata whose labels may belong to various algebraic structures. The paper successively describes the main features of the Vaucanson platform, including the fact that the very rich data structure used to implement automa...
متن کاملOn the Use of the Vaucanson Planetary Transmission in the Renewable Energy Systems. Part I: Velocities and Torques
The paper main objective is to model and analyze the properties of the Vaucanson planetary transmission in order to establish the possibility of using it in renewable energy systems. The structural features, the kinematical and static modeling of the initial Vaucanson speed reducer are presented in the first part of the paper.
متن کاملImplementation Concepts in Vaucanson 2
Vaucanson is an open source C++ platform dedicated to the computation with finite weighted automata. It is generic: it allows to write algorithms that apply on a wide set of mathematical objects. Initiated ten years ago, several shortcomings were discovered along the years, especially problems related to code complexity and obfuscation as well as performance issues. This paper presents the conc...
متن کاملBoosting Vaucanson
Some of the work done in the last three years on the Vaucanson platform in order to enhance its performances is reported here. One is the functorization, a feature of C++ that proved to be rather disappointing. And the other is the implementation of automata via hash tables (as opposed to the implementation by adjency lists that was used fo far) and which proved to be really efficient.
متن کاملAn XML Format Proposal for the Description of Weighted Automata, Transducers and Regular Expressions
We present an XML format that allows to describe a large class of finite weighted automata and transducers. Our design choices stem from our policy of making the implementation as simple as possible. This format has been tested for the communication between the modules of our automata manipulation platform Vaucanson, but this document is less an experiment report than a position paper intended ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2005